41. Systemes logiques
پدیدآورنده : par J.P. Perrin, M. Denouette [et] E. Daclin
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Sequential machine theory,Switching theory
رده :
QA
267
.
5
.
S4P4
42. Systems logiques
پدیدآورنده : PERRIN,JEAN PAUL
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SEQUENTIAL MACHINE THEORY , SWITCHING THEORY
رده :
QA
267
.
5
.
S4
P4
43. Techniques booleennes et calculateurs arithmetique
پدیدآورنده : Chinal, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Switching theory,، Sequential machine theory,، Algebra, Boolean
رده :
QA
401
.
C52
44. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
45. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
46. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
47. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده : David L. Dill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
